function getContextPath() {
    var curWwwPath = window.document.location.href;
    var pathName = window.document.location.pathname;
    var pos = curWwwPath.indexOf(pathName);
    var context = curWwwPath.substring(0, pos + pathName.substring(0, pathName.indexOf('/', 1)).length);
    return context;
}
// 实现下载函数downloadFromPath
function downloadFromPath(url, filename) {
    // 创建一个<a>标签
    const link = document.createElement('a');

    // 设置href为文件的URL
    link.href = url;

    // 设置下载时文件的名称
    if (filename) {
        link.download = filename;
    } else {
        // 如果没有提供文件名，则从URL中提取文件名
        link.download = url.split('/').pop();
    }

    // 创建并触发click事件，模拟点击下载
    link.click();
}

// 实现注销
function logout() {
    var context = getContextPath();
    // 跳转到注销的Servlet URL
    window.location.href = context + "/user/logoutServlet";
}